$M$ sends on link $l$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$deq{-}member(IdLnkDeq;$l$;map($\lambda$$p$.$p$.2;($M$.2.2.2.2.2).1.1))